standard and canonical form of boolean algebra